A Structured Approach to Develop Concurrent Programs in UML
نویسندگان
چکیده
This paper presents a methodology to develop synchronization code based on the global invariant (GI) approach in the context of the Uniied Process in UML. This approach has the following advantages: (1) it is a formal approach that enables formal veriication of programs being developed, (2) the most important activity in the programming process lies at a high level; namely, speciication of GIs, (3) GIs are platform independent, and (4) existing GIs may be composed to produce GIs for more complex synchronization. We provide a set of useful GIs which work as basic patterns. Programmers can compose these GIs to produce appropriate GIs for speciic applications.
منابع مشابه
Trace based debugging and visualisation of concurrent Java programs with UML
This thesis describes an approach for automated detection of concurrent liveness failures in the execution of Java programs. Concurrent programs are highly prone to failure because of the inherent nondeterminism. Developers of concurrent Java programs are not well supported in detecting concurrency failures, i.e. failures that are due to interactions between multiple threads. These failures are...
متن کاملDynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static meta model by a specification of the system’s dynamics by means of collaboration diagrams. In this way, it is possible to define the behavior of UML diagrams within UML. The conceptual idea is inherited from Plotkin’s st...
متن کاملUML-based Approach to Specify Secured, Fine-grained Concurrent Access to Shared Resources
In object oriented paradigm, a concurrent system can be regarded as a collection of autonomous active objects which synchronize and communicate through shared passive objects. In this paper, we propose a UML-based approach to specify secured, fine-grained concurrent access to shared resources ensuring data integrity and security. The goal of the approach is to develop the UML specification with...
متن کاملTurbine Blade Investment Casting Cost Estimating Model (TECHNICAL NOTES)
The objective of this research is to develop a turbine blade investment casting cost advisor model to assist a blade designer in decision-making in a concurrent engineering environment. It is a microcomputer based cost estimating system that employs a manufacturing knowledge base. The concept of the manufacturing process for blade production by the investment casting method is used to develop t...
متن کاملJaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs
Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers such as tracing, visualization, and automated error analysis. Therefore, we have developed the JaVis environment for visualizing and debugging concurrent Java programs. The information about a running program is collec...
متن کامل